Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Cinq conférences sur l'indécidabilité

 Автор: , Автор: , Автор:
Размер книги: 615 Kb

The Blind Spot: Lectures on Logic

 Автор:
Категория: Mathematics
Размер книги: 3.26 Mb

The Blind Spot: Lectures on Logic

 Автор:
Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic
Размер книги: 2.01 Mb

Proofs and Types

 Автор: , Автор: , Автор:
Категория: Математика, Алгебра, Математическая логика
Размер книги: 1.37 Mb

Linear Logic

 Автор:
Категория: Математика
Размер книги: 1.90 Mb

Linear logic in computer science

 Автор: , Автор: , Автор: , Автор:
Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic
Размер книги: 2.28 Mb

Advances in linear logic

 Автор: , Автор: , Автор:
Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic
Размер книги: 2.38 Mb